Logic model - PDFSEARCH.IO - Document Search Engine

Logic model
Results: 5700

#	Item
691	Satisfiability Modulo Recursive Programs Philippe Suter⋆ , Ali Sinan K¨oksal, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland {firstname.lastname}@epfl.ch Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-06-13 20:10:28 Computability theory Formal methods Model theory Theory of computation Logic in computer science Satisfiability Modulo Theories Decision problem Function Satisfiability Theoretical computer science Mathematics Mathematical logic
692	Idaho Office of Drug Policy Strategic Prevention Framework Grant Announcement and Application Instructions State Fiscal Year 2016 Add to Reading List Source URL: odp.idaho.gov Language: English - Date: 2015-03-31 15:33:07 Public finance Logic model Substance Abuse and Mental Health Services Administration Federal grants in the United States Preventive medicine Medicine Grants Federal assistance in the United States
693	Form A: Program Logic Model Worksheet Add to Reading List Source URL: uwsn.org - Date: 2015-02-26 17:52:44
694	Corporation for National and Community Service Add to Reading List Source URL: www.nationalservice.gov Language: English - Date: 2014-12-02 15:16:03 Thought Logic model Logic Mathematical logic Scientific modelling Participatory impact pathways analysis Program evaluation Evaluation methods Evaluation Science
695	Composite Replicated Data Types Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute Add to Reading List Source URL: software.imdea.org Language: English - Date: 2014-11-02 12:47:33 Theoretical computer science Type theory Transaction processing Logic in computer science Programming language semantics Denotational semantics Object Type system Consistency model Data types Computing Software engineering
696	Parameterized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, Josef Widder Vienna University of Technology (TU Wien) Abstract—We introduce an Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-10-18 10:27:55 Abstraction Data management FO Model checking Abstract interpretation Function Interpretation Mathematics Mathematical logic Theoretical computer science
697	CaCCSS-M and Implications for CaMSP Presented at the CaMSP Learning Network Meeting Sacramento, CA April 4, 2011 Add to Reading List Source URL: www.cpec.ca.gov Language: English - Date: 2011-04-13 18:48:30 Mind Epistemology Thought Mathematics education Mathematics Logic Mathematical problem Reason Economic model Branches of philosophy Knowledge Education
698	MUNCH - Automated Reasoner for Sets and Multisets Ruzica Piskac and Viktor Kuncak Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Metalogic Model theory Multiset NP-complete problems Presburger arithmetic Satisfiability Modulo Theories Cardinality Generalized arithmetic progression Mathematics Mathematical logic Theoretical computer science
699	Complete Functional Synthesis Viktor Kuncak Mika¨el Mayer Ruzica Piskac Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-04-01 07:52:40 Model theory Logic in computer science Predicate logic Semantics NP-complete problems Satisfiability Modulo Theories Function First-order logic Quantifier elimination Mathematics Mathematical logic Logic
700	grantcraft PRACTICAL WISDOM FOR GRANTMAKERS Mapping Change Using a Theory of Change to Guide Planning Add to Reading List Source URL: portals.wi.wur.nl Language: English - Date: 2007-07-18 09:05:55 Philosophy of science Ethology Impact assessment Logic model Theory Impact evaluation Economic model Evaluation methods Evaluation Science

UPDATE